product rule derivatives with trig functions